COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	This is a response to [1], an article which points out many of
C00009 ENDMK
C⊗;
This is a response to [1], an article which points out many of
the good and bad points of AM [2] and the way in which AI research
is reported.  I am distressed at the necessity to respond for
two reasons: at face value, I am of course uneasy about having
to defend my seven year old thesis program which, now that I go back
and look over its code, sends shivers down my spine.
More deeply, I am disturbed because I strongly agree with the
moral of [1], and just wish its authors had used a program
other than mine to dissect.  I must answer at three levels, therefore:
the minutae of questions and problems and uncertainties they 
catalogue; the five high-level problems they list in Section 5.1;
their top-level plea for more scientific research reporting standards.
In brief, I shall set to rest most (but not all) of the tiny
quibbles and questions, most (but not all) of their higher level
issues, and not at all tackle their top-level concern.

1. Point-by-point discussion

All of pp. 8-13 of [1] is exactly right: there was some sloppiness
in [2] here, but their own ability to puzzle out the correct
answers in each case seems to me to be an argument that [2]
wasn't TOO sloppy.  In each case, their guess is precisely accurate:
Their first question was how
Suggest rules were handled at the Lisp level: they were kept
isolated in one big list and, when the Priority of the top
task on the agenda fell below a (slowly-varying) threshhold,
ALL the Suggest rules were run, to yield some new tasks.
The location of these rules changed from month to month,
originally they were subfacets, then facets, then just a
separate top-level list.  [1] is also correct in its observation
that all the "Interest rules" should have been stored as
"Worth.Fillin rules"; this was not done in the Lisp implementation
of AM, but readily could, and should have been; I wish I had thought of it.
[1] points out some of the sloppy section headings in Appendix 3,
and correctly identifies that, e.g., the "Coalesce.Fillin"
rules were actually stored as "Coalesce.Examples.Fillin" at
the Lisp level.  
P 15-16: How can a rule have a conjunct of the form "After trying to..."?
After the rules are gathered, they are executed in order, and
then executed a second time.  A detailed trace is kept of the current
task and wori toward it, enabling rules to saay things like
"... and no other rule has found any,..."  Their surmise about
αmy omitting the first conjuncts in Appendix 3 is of course
correct; that was done to avoid repeating the subsection
heading in all 242 rules.
p. 16-15: H&R have misunderqtood what I meant by rules being
blened together at the Lisp level. Often, there might be 3
rulEq fo∩ producing examples of X that worked togather,
and that were cOded together as one moderatelY large lump
of code.  In Appendix 3 I might still present This as 3 separate
Rules.  In this qense, AM had about 150 rules, rather than 243,
But some oF thoSe 150 rulEq were veRy big.  As a resultof AM,
αand some coTemporal res`Ce
PAgk
PACf↓≠3π∪8XAoJ↓QCmJ↓BA[k
PAEKQiKd~)k]IKIgiC]⊃S]NA=LAoQdAShOLAIKg%eCEY∀Ai↑A-KC`AIkYKf↓gCCaICiKH↓←kh~)KmK\↓ChAi!JAG←⊃JAYKYKX\@↓)QJA
←]ie=XAgiIkGikIJAS\↓β∩Ao¬fACf4∃eKa=eiKH↓S\A6I:vASPAoCf↓g←[J↓←LAi!JAek1KfAi!ChAo∃eJAG=[aYS
CiKH0~∃M←PAiQJ↓G←]iI←XAG=IJ\~)`\@bdtAiQ∀@E←EMGkeSQSKfD↓GSiK⊂ACeJ↓S]IK∃HACh↓iQJA!KCeh↓←LAo!rAC]⊂~∃A←β9αε5π;?K/.!9↓α&C↔eβ&+π1β>KS!β∂+S?7∂#'
βπ∪?∨K∞k7'≠8aβOC.≠'≠'≡33dhS∂?∪*βOg;&C↔O'~q↓αεjβ←πMε∪↔∨WrβπMβ∞qαπW&{7πSN→αCK};Kπ↔nK;≥β&C↔O'~`4+πv!β7e¬β"⊃β∞#['O-⊃β←ε~α∂?K&+3 "λ}&..edα∧
`
-l_;9-n_;λ∞=⎇<XlT≠yC!.≠⎇y.∧~;Hλ→(~4d=λ≥

<h≠
}h≠→.l;∞H∞M→(≤o≥]~→.=<h_-lλ→;.
<Z8l≥λ≥→.>~;YaQXπs⊂≥4w<P∪4yx⊂≤97sy_vyW⊂λ*42P~w:2y→yz2rλ92pr→y⊂$yH92s2\92r⊂≥5FE:~2P80\2y9P∩P;y7]2P2l≤60tw~w3P:~4yP8≤7qri\tV⊂2K3W⊂-S2w0zλ≠ZV⊂
X¬b].
When I Used the teri "hack", I referred to a piEce oF
Interlisp-dependent knowledge about cOde synthesis$ NOT
code Which was in any wa@2↓caKG%H'
π#=β7∂#!β?∩βS-αi∨Mβ⊗+#π[N{A84U##'MεCπMβπ∪?[↔rβS :,Rε∞d∞Vv6}.G.v≡LRε≡
⎇⊗≡*
|bπ&↑-Rph!Q'αrε"∩b¬MRα⊗=⎇Vn.nDε}r∞.Vf*ε⊗C"∩
~2ε∞>NV∞fO∀π>F≡@ε}vTλ∀jπ.XT~<h≥≠β"L≤[⎇=π∧→[xn↑h≠qD=≥→-n~;{D
8:;NL;X;L<+Hλ
M→(≠nM→<H==→9↓Q\];↑h_<LT_;≠∧{y→,D_<h∞>→8r,M8h≤L↑Z<z-⎇\h≠ld≥X;∞\<h≠ld→X8l↑≤c"M|H_smly<≥∞5Hλ⊂,|:;C∧
=λ∩.∀≥~→$
U3⊃*4≥~_.D~_=LT≠[⎇∧Y93AQX9→.≡8=→-O(→→.L8;→,Eλ≠[nD≥~→${{]∞,{λ∪,\z_;M≡{+C!